1. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
2. Handbook of Logic in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
3. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
4. Principles and Practice of Constraint Programming
پدیدآورنده : \ Gilles Pesant (ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
5. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
6. آشنای با منطق ریاضی
پدیدآورنده : هربرت ب . اندرتون ؛ ترجمه غلامرضا براداران خسروشاهی ، محمد رجبی طرخورانی
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : منطق ریاضی
رده :
QA
9
/
الف
869
1366
7. آشنایی با منطق ریاضی
پدیدآورنده : اندرتون، هربرت
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۹
آ
۵
8. آشنایی با منطق ریاضی
پدیدآورنده : هربرت ب. اندرتون؛ ترجمه غلامرضا برادران خسروشاهی، محمد رجبی طرخورانی,عنوان
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : منطق ریاضی
رده :
QA
/
الف
۸
آ
۵ ۹ ۱۳۶۶
9. آشنایی با منطق ریاضی
پدیدآورنده : / هربرت ب. اندرتون,عنوان اصلی به زبان اصلی: A mathematical introduction to logic
کتابخانه: Ilam University Central Library (Ilam)
موضوع : منطق ریاضی
رده :
QA
۷۹
/
الف
۸
آ
۵
10. آشنایی با منطق ریاضی
پدیدآورنده : / هربرت بی. اندرتون
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : منطق ریاضی
رده :
۵۱۱
/
۳
الف
۸۶۸
آ
11. آشنايي با منطق رياضي
پدیدآورنده : / تاليف هربرت. ب. اندرتون,اندرتون,Enderton
کتابخانه: كتابخانه حسينيه امام رضا (ع) (آستان قدس رضوی ع) (Khorasan Razavi)
موضوع : منطق رياضي
رده :
۵۱۱
/
۳
الف
۸۶۹
آ
12. آشنايي با منطق رياضي
پدیدآورنده : / تاليف هربرت. ب. اندرتون,اندرتون,Enderton
کتابخانه: (Ayatollah Shahid Moddares Library (Astan Qods Razavi (Khorasan Razavi)
موضوع : منطق رياضي
رده :
۵۱۱
/
۳
الف
۸۶۹
آ
13. آشنايي با منطق رياضي
پدیدآورنده : / تاليف هربرت. ب. اندرتون,اندرتون,Enderton
کتابخانه: (Harandi Library (Astan Qods Razavi (Kerman)
موضوع : منطق رياضي
رده :
۵۱۱
/
۳
الف
۸۶۹
آ
14. آشنایی با منطق ریاضی
پدیدآورنده : اندرتون ، هربرت
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : منطق ریاضی
رده :
QA
9
/
الف
8
آ
5
1366
15. آشنايي با منطق رياضي
پدیدآورنده : اندرتون ، هربرت
موضوع : منطق رياضي
۸ نسخه از این کتاب در ۶ کتابخانه موجود است.
16. آشنایی با منطق ریاضی
پدیدآورنده : / هربرت ب. اندرتون، ترجمه غلامرضا برادران خسروشاهی، محمد رجبی‌طرخورانی,عنوان به زبان اصلی: A mathematical introduction to logic.
کتابخانه: (South Khorasan)
موضوع : منطق جدید
رده :
QA
۹
/
الف
۸
آ
۵ ۱۳۶۶
17. آشنايي با منطق رياضي
پدیدآورنده : / تاليف هربرت. ب. اندرتون,اندرتون,Enderton
کتابخانه: (Mortazavi Library (Astan Qods Razavi (Kerman)
موضوع : منطق رياضي
رده :
۵۱۱
/
۳
الف
۸۶۹
آ
18. آشنائی با منطق ریاضی
پدیدآورنده : اندرتون ، هربرت . ب
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : منطق ریاضی
رده :
QA
9
/
الف
8
آ
5
19. آشنایی با منطق ریاضی
پدیدآورنده : اندرتون، هربرت
کتابخانه: Library of Kowsar University of Qom (Qom)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۸
آ
۵
20. آشنایی با منطق ریاضی
پدیدآورنده : اندرتون، هربرت .Enderton, Herbert B
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۸
آ
۵ ۱۳۶۶
